Recherche : algorithme qui choisirait nos axiomes